;; RUN: demangle -h

